The Steam Boiler in a Unified Theory of Z and CSP
نویسندگان
چکیده
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powerful support for the specification of the data-oriented and behavioural aspects of concurrent systems, and to provide a calculational development technique for languages similar to occam, Java, and Handel-C.
منابع مشابه
Nonlinear Modelling of Kerman Combined Cycle Power Plant Drum-Boiler and Drum Level control especially in trip conditions
There are various methods of power generation such as combined cycle power plants. There are many variables in a power plant boiler unit, but the most important variables are Pressure and specially drum level that control system should be put it in the safe range. The purpose of this article is, modifying the oscillatory behavior of the drum level of Kerman combined cycle power plant and especi...
متن کاملSimulation and Optimization of Tehran Oil Refinery Steam Network in view of Exergetic, Exergoeconomic and Environmental Analysis
Due to the importance of energy consumption in a steam network of oil refinery as a significant unit, present study is concerned with the optimization of an oil refinery steam network. Here, the attempt was made to use concepts such as first and second thermodynamic laws, thermo-economic, environmental and economic discussions to investigate three different scenarios about Tehran refinery steam...
متن کاملInvestigation of a Single-reheat Condensing Steam Power Plant Based on Energy and Exergy Analysis
Nowadays, energy plays an important role in the economic and community development of country. Consequently, performance analysis of energy systems is one of the effective methods being used to prevent waste of energy resources. Among the different power generation technologies, steam power plants make a significant contribution to power generation in Iran, with a share of 47 % of electricity g...
متن کاملInvestigation of a single-reheat condensing steam power plant based on energy and exergy analysis
Nowadays, energy plays an important role in the economic and community development of country. Consequently, performance analysis of energy systems is one of the effective methods being used to prevent waste of energy resources. Among the different power generation technologies, steam power plants make a significant contribution to power generation in Iran, with a share of 47 % of electrici...
متن کاملControl Reconfiguration of a Boiler-Turbine Unit After Actuator Faults
Boiler-turbines are one of the most important parts in power generation plants. The safety problem in such systems has always been a special concern. This paper discusses the application of control reconfig uration by fault-hiding approach for a boiler-turbine unit. In Fault-hiding approach, after occurrence of a fault, nominal controller of the system remains unchanged; instead, a reconfigurat...
متن کامل